Synopsys SpyGlass Lint is an integrated static verification solution for early design analysis with the most in-depth analysis at the RTL design phase.
Using many advanced algorithms and analysis techniques, the SpyGlass® platform provides designers with insight about their design, early in the process at RTL.